881. Precis de recherche operationnelle : expose succinct des methodes, enrichi de 50 exercices et problemes, presque tous resolus, et de 12 programmes en langage evolue
پدیدآورنده : Faure, Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Operations research,، Programming )Mathematics(
رده :
T
57
.
6
.
F38
1978
882. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
883. Principles of computer programming : a mathematical approach
پدیدآورنده : Harlan D. Mills ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
P743
1987
884. Principles of computer science
پدیدآورنده : / Cullen Schaffer
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Computer science - Mathematics,Electronic digital computers - programming
رده :
QA
76
.
9
.
M35S3
1988
885. #Problem complexity and method efficiency in optimization
پدیدآورنده : #A. S. Nemirovsky, D. B. Yudin
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Programming )Mathematics(
رده :
#
QA
،#.
N454
886. Problem complexity and method efficiency in optimization
پدیدآورنده : Nemirovskii, Arkadii Semenovich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming )Mathematics(
رده :
QA
402
.
5
.
N4513
887. Problem solving and computer programming
پدیدآورنده : Grogono, Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Problems, exercises, etc - Data processing ، Mathematics,Data processing ، Problem solving
رده :
QA
76
.
6
.
G758
1982
888. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Programming )Mathematics(
رده :
QA
264
.
P7
1967
889. Proceedings of the Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences : Collected papers
پدیدآورنده : editor of the issue : M. Yu. Khachay; editor of the English translation : E.V. Vasil'eva; translated and published by Maik Nauka/Interperiodica Publishing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming )Mathematics(
رده :
QA
1
.
P736
Vol
.
260-263
Suppl
.
2
890. Proceedings of the first International Congress on Programming and Control
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming )Mathematics(,Congresses ، Programming )Mathematics(
رده :
QA
264
.
I5
1965
891. Proceedings of the princeton Symposium on mathematical programming
پدیدآورنده : / Edited by Harold W. Kuhn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Programming (Mathematics) - Congresses
رده :
519
.
7
P957P
892. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
893. Production & cost models of a multi-product firm:a mathematical
پدیدآورنده : KNUDSEN,NIELS CHR
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PRODUCTION )ECONOMIC THEORY( , PROGRAMMING )MATHEMATICS(
رده :
HB
241
.
K6
894. Programmation en mathematiques numeriques, Besancon 7-14 Septtembre, 1966, [Actes.]
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Programming (Mathematics) - Congresses,Numerical analysis - Congresses,Matrices - Congresses
رده :
519
.
708
Co-P
895. Programmes, jeux et reseaux de transport
پدیدآورنده : par C. Berge [et] A. Ghouila- Houri
کتابخانه: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (تهران)
موضوع : Programming (Mathematics),Game theory
رده :
QA264
.
B47
896. Programming Classics: implementing the world's best algorithms
پدیدآورنده : / Lan Oliver
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Computer algorithms,Programming ( Mathematics )
رده :
005
.
1
O48p
897. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
898. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
899. Programming and mathematical method
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
P752
1992
900. Programming for computations -- Python :
پدیدآورنده : Svein Linge, Hans Petter Langtangen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)
رده :
QA76
.
9
.
M35
